#include <stdio.h>


void print1()
{
    printf("message: f1_print1\n");
}

